ar X iv : m at h / 05 01 34 6 v 3 [ m at h . G R ] 3 N ov 2 00 5 GENERALISED SIFTING IN BLACK - BOX GROUPS
نویسنده
چکیده
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a subgroup chain. Two general versions of the procedure are worked out in detail, and applications are given for membership tests for several of the sporadic simple groups. Our major objective was that the procedures could be proved to be Monte Carlo algorithms, and their costs computed. In addition we explicitly determined suitable subset chains for six of the sporadic groups, and we implemented the algorithms involving these chains in the GAP computational algebra system. It turns out that sample implementations perform well in practice. The implementations will be made available publicly in the form of a GAP package.
منابع مشابه
ar X iv : m at h / 05 11 27 5 v 2 [ m at h . G R ] 7 N ov 2 00 6 LIMIT GROUPS , POSITIVE - GENUS TOWERS AND MEASURE EQUIVALENCE
By definition, an ω-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus ω-residually free tower. By combining this construction with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups.
متن کاملar X iv : m at h / 06 11 45 2 v 1 [ m at h . A G ] 1 5 N ov 2 00 6 UNIRATIONALITY OF CERTAIN SUPERSINGULAR K 3 SURFACES IN CHARACTERISTIC
We show that every supersingular K3 surface in characteristic 5 with Artin invariant ≤ 3 is unirational.
متن کاملar X iv : m at h / 05 09 09 7 v 2 [ m at h . G N ] 1 5 N ov 2 00 5 COSMIC DIMENSIONS
Martin's Axiom for σ-centered partial orders implies that there is a cosmic space with non-coinciding dimensions.
متن کاملar X iv : m at h / 04 05 17 6 v 3 [ m at h . R T ] 1 7 N ov 2 00 4 QUANTIZED SYMPLECTIC OSCILLATOR ALGEBRAS OF RANK ONE
A quantized symplectic oscillator algebra of rank 1 is a PBW deformation of the smash product of the quantum plane with Uq(sl2). We study its representation theory, and in particular, its category O.
متن کامل